Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
241	Introduction The HyperIBIS architecture extends the standard IBIS model to support inference about belief and expected utility in formal argument models using an open hypertext architecture. Traditional IBIS models provi Add to Reading List Source URL: www.cognitiveweb.org Language: English - Date: 2003-11-24 22:04:18 Evidence Science Argument Thought Falsifiability Semantics Input/output Buffer Information Specification Critical thinking Philosophy Epistemology
242	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics
243	Book Reviews: Language at Work: Analyzing Communication Breakdown in the Workplace to Inform Systems Design Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:29 Semantics Meaning Interdisciplinary fields Formal sciences Natural language processing Terry Winograd Harvey Sacks Natural language understanding Situation theory Science Knowledge Academia
244	A Case Study in Verication Based on Trace Abstractions Nils Klarlund? Mogens Nielsen Kim Sunesen BRICS?? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:07 Formal languages Semantics Non-classical logic First-order logic Interpretation Well-formed formula Temporal logic Modal logic Second-order logic Logic Mathematical logic Model theory
245	Language Games, A Foundation for Semantics and Ontology John F. Sowa VivoMind Intelligence, Inc. The issues raised by Wittgenstein’s language games are fundamental to any theory of semantics, formal or informal. Montag Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-05-19 08:12:20 Semantics Philosophical logic Philosophy of language Formal languages Meaning Tractatus Logico-Philosophicus Language Ludwig Wittgenstein Formal semantics Logic Philosophy Analytic philosophy
246	CHAPTER 1 Montague Grammar Barbara H. Partee University of Massachusetts, Department of Linguistics, Amherst, MA 01003, USA E-mail: [removed] Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2007-04-24 15:15:43 Science Philosophy of language Grammar Philosophical logic Formal languages Montague grammar Intensional logic Formal semantics Richard Montague Logic Linguistics Semantics
247	Curriculum Vitae Jean-Pierre Koenig Business Address: Department of Linguistics 609 Baldy Hall Add to Reading List Source URL: linguistics.buffalo.edu Language: English - Date: 2009-08-31 08:41:48 Cognitive science Academia Construction grammar Semiotics Cognitive linguistics Head-driven phrase structure grammar West Coast Conference on Formal Linguistics Lexical semantics Linguistics Science Semantics
248	Interpreting Japanese Head-Internal Relative Clauses Michael Yoshitaka Erlewine and Isaac Gould Massachusetts Institute of Technology 1. Introduction* Japanese has both head-external and head-internal relative clauses (H Add to Reading List Source URL: www.lingref.com Language: English - Date: 2014-06-21 13:39:20 Semantics Formal languages Logical syntax Grammar Interpretation Proposition Definite description Function Well-formed formula Logic Linguistics Philosophy of language
249	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
250	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics

UPDATE